Change Sugartypes.datatype to be a polymorphic variant type.
Simplify sugar datatype constructor names.
Merge session types into datatypes in the frontend.