Added support for ConstraintKinds and bug fix related to lifted list construction

This adds support for type list construction of the form `Int ': Char ': Bool '[]` and support for the `ConstraintKinds` extensions.

I had to open a new ticket because I deleted the old branch, which, as I learned, also deletes tickets associated with that branch. Woops.