contains different kinds of sorts for terms. Last modified: Tue Nov 26 08:54:55 MET 2002