Provide syntax for type lambdas.

This is a squashed version of the commits from #70.
`NoMods`