tcl (type files)

error in overloading.icl

bail out if illegal command arguments are passed to the backend

removed comments

fixed bugs

(ConvertState is attributed where it's use uniquely)

(it's now together with ImportedConstructors)

concerning specified instance types, that by far go beyond the standards
of Clean 1.3.3

definition module spetiul
f :: a | == a special a=Int

  from StdEnv import == // instead of class ==(..)
the _member_ "==" was imported resulting in complaints that the
corresponding class was not imported

  :: *T = T
  f x=:(T,b) = x
the derived result type of f was not essentially unique: f :: .. -> (.T, .a)