Add state example. Fix linfork bugs.
Merge session types with datatypes in the backend. Now we can do type
aliases for session types.