Revision to add a type grammar restriction