On building a more effcient grammar by exploiting types | Synapse