Missing End cases in typevarcheck.ml.
tweak session type signatures in prelude