on the MS-DOS command line anymore, what a pitty

before typecheking (see new module "checkKindCorrectness")

better its use.

- unused dynamics in where/let clauses do not cause a rule doesn't match
  error in overloading.icl instead they are ignored
- default behaviour changed e.g.

f (i :: Int, j :: Int) = abort "Int"
f (r :: Real, s :: Real) = abort "Real"
f _ = abort "stop"

The compiler first matched on the tuple and then did the dynamic pattern
matches. But the last match did not call the last (default) alternative if it
did not match.
- some small changes

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