concrete syntax: new types.
 - add back HS types.
 - refactor types to allow aliases at all levels.
 - Allow mem area type constructor for C types.
concrete syntax: qualified names.
export additional lib function.
concrete syntax: cleanups.
concrete syntax: add addrOf.
wibble: accidently committed testing code.
concrete syntax: wibbles.
stdlib: export wibble.
concrete syntax: add type declarations.
Optimize identities like 1*x, 0*x, 0+x, etc.