Provide syntax for type lambdas.

This is a squashed version of the commits from #70.
Thanks, I'll create a patch to update it. Any other suggestions/criticisms of this patch are very welcome too!