Shorten some of the names we use in the grammar.