Refactor front-end type variable representation. In particular,
presence variables now have subkinds.
Push subkinds for presence variables all the way through. Still need
to properly implement unification for presence subkinds.
Merge branch 'sessions' of github.com:slindley/links into sessions