Add a semicolon at the end of all old tests
Build desugaring

Unfortunately, they cannot really be used because unpacking types
doesn't really work (type variable becomes out of scope)
and axiom only works on top level.