case, if and lambda expressions

from a constructor (not a tuple or record) on a cycle

type constructors in dynamic types are now uniquely represented by the
descriptor of their TD_ (type definition) function

exported, also export label with d prefix for strict constructor and
fix name for label with n prefix

typechecker or overloading header files to this file

to prevent unnecessary imports and double imports of fields in the .abc file