'checkError ("no generic instances of "..' in getSymbolType is called

(see example below)
by expanding the type synonym if a type variable is unified with
a type synonym that contains that variable.

:: Parser b a :== (YieldParser b a) -> (ID b) -> b
:: YieldParser b a :== a -> (ID b) -> b
:: ID b :== b

returnP :: a -> Parser b a
returnP x = \yp -> yp x

failP :: Parser b a
failP = \yp fp -> fp

'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