>> notion of (token,catcode) pairs. Not even brace tokens are proper
              ^^^^^^^^^^^^^
>> Over to Joachim Schrod.....

I think he'll want to comment on the above!
** Phil.