add some missing functionality for lexing and parsing session type variables
occurs check for selection and choice
subkinds for session type variables in the frontend
restricted equality for session types
dualisation hack for session type variables that appear as plain types
Recursive session types example.