Disallow partially-applied nested type synonyms in types

@garyb @joneshf Another go at #694.