Use uniques in type representation
Make LL compile
Resolve IdType to Type in resolver
adapt toNames
Merge branch 'unify' of github.com:jyp/LL into unify
Almost working desugarer
Merge branch 'unify' of github.com:jyp/LL into unify
Fix desugarer to use Ids in types