Allow partially-applied nested type synonyms in types

@garyb @joneshf Could you please review?

This fixes #694, and test-everything builds for me.