'cannot unify types' on separate lines

remove #defines for UNBOXED_CLOSURES and U_RECORD_SELECTORS

:: EP a = C (a Int Int);

Start :: EP (->);
Start = Start;

"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};

type of the record constructor, to prevent crashing in freshSymbolType
because the pointers of these attributes are not properly initialized,
add universal variables and attributes in fields only to the type of this field,
and not also to the types of subsequent fields of this record

because the resulting th_attrs were not stored in the type heaps

components when a macro in a dcl module is used

in paths and object files generated by the c compiler have different
names

non dynamic type, instead print an error message

of the constructor, instead of a type index with a constructor index, create
VITI_PatternType only for records

in error messages