New syntax for declarations
===========================

- Separate rec/obj types?
  (rec = value type, obj = reference type).


Variants vs class hierarchies
-----------------------------
Variants are basically closed classes!

This can be used to simplify SLUL, so we don't need the addtional "variant"
type.

Problems:
- What about private types?
- Closed vs open types