s/\<mod_name\>/mod_ident/g
s/\<ps_field_name\>/ps_field_ident/g
s/\<ps_selector_name\>/ps_selector_ident/g
s/\<pc_cons_name\>/pc_cons_ident/g
s/\<class_name\>/class_ident/g
s/\<gen_name\>/gen_ident/g
s/\<gen_member_name\>/gen_member_ident/g
s/\<gc_name\>/gc_ident/g
s/\<gc_gname\>/gc_gident/g
s/\<fs_name\>/fs_ident/g
s/\<td_name\>/td_ident/g
s/\<fv_name\>/fv_ident/g
s/\<var_name\>/var_ident/g
s/\<type_name\>/type_ident/g
s/\<symb_name\>/symb_ident/g
s/\<tv_name\>/tv_ident/g
s/\<av_name\>/av_ident/g
s/\<me_symb\>/me_ident/g
s/\<ft_symb\>/ft_ident/g
s/\<fun_symb\>/fun_ident/g
s/\<cons_symb\>/cons_ident/g
s/\<sd_symb\>/sd__ident/g

foo :: a a -> Bool | eq{|*|} a

added BVInt
removed symb_arity from SymbIdent

remove conversion table, except for macros

Universally quantified types used in class members

moved function get_ident from checksupport to check

- 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

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

changed Declaration type
fixed crash when macro appears only in dcl module
added make with caching in 'main'
use BoxedIdent in hashtable

Tested with compiling Object IO and butstrapping.

caching

checking of a whole dcl module component --> now cyclic module dependencies
should work

moved all switches to syntax module

 (changes are commented with "MW0")

also STE_Macro. This showed up after a list comprehenshion that matched on
STE_Imported was transformed into a function with that pattern

   in "convertCasesOfFunctionsIntoPatterns" and "collectVariables")
 - new switch "SwitchUniquenessBug" in module checksupport
 - several bugfixes

    (new module: comparedefimp)
- implemented array patterns. Further work: arrays are in lazy context (should be strict),
    currently only one dimensional arrays
- optimised memory usage for explicit imports