Changed the encoding of the names ....

As we said, we don't really care if it's a termname or a typename since we're able to guess at recomposition time, therefore I reduced the encoding of the names by 1 byte per entry by removing this useless information