Primitive constructors

[anton-k]

Adds primitive constructors in place of integer labels.

• adds new types maybe, sum and unit.

The missing part is conversion of user defined types. I will do it in the next PR.