Fixed SPASS parsing bug

Not all types were defined in the grammar. Parser must still be tested.
Fixed SPASS parsing bug