Changed treatment of during type inference internally generated type
variables.
1. They are renamed to 'a, 'b, 'c etc away from a given set of used names.
2. They are either frozen (turned into TFrees) or left schematic (TVars)
depending on a parameter. In goals they are frozen, for instantiations they
are left schematic.
#! /bin/sh
# xlisten -- start a program in one window and create a listener window
# environment variable $LISTEN specifies the file name
#create the file!
date > $LISTEN
xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
sleep 2
xterm -geo 80x45+0-0 -e teeinput $* &