Add TypeSpecs grammars and tests.