README with grammar
TypeSpecifier#type