Make TypeApplications a default language extension

[jml]

I figure we're using it so much that it basically counts as a style thing that should be consistently available across the code base.