of a case and is also used in another alternative,
these lets were not added to the list of lets closed by cases,
now they are, and the let will be reopened in the other alternative

and also in another alternative of the outside case,
if a let is used in a case, close the let, but if the let is used
in another alternative of the case, reopen the let,
these lets are collected in rms_counted_let_vars

(for patterns with variables)

"demanded attribute cannot be offered by shared object" error
message more accurate,
store position in CaseAlt (added field calt_position)

for:

:: *R1 = { r2 :: *R2 };
:: *R2 = { a1::*{#Int}, a2::*{#Int}};
f :: *R1 -> *R2;
f r1=:{r2={a1}}	= {r1.r2 & a2=a1};

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

better check for properties of abstract types,
check for linearity of instance types,
uniqueness bug for type synonyms,
kind check for function (arrow) types

the compiler

Universally quantified types used in class members

(2) uniqueness bug with local variables

Universally quantified types (parsing and inference)

Bug fix in reference marking

Bug fixes: default cases and (more or less) correct types for generated case and let expressions in the conversion of dynamics

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

 (changes are commented with "MW0")

    (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