o allowed referring to indiviual initialization clauses by label
o check that no assertion has generic parameters left in the types of
its subexpression
o added the \typeof{ expr }{ type } construct that allows the
disambiguation of the type of generic expression