I love it! Your code is very clear!
Really? I always hated that commenting style as its badly over-commented, my code is much nicer now'a'days :P
Is there an formular EBNF description of MicroC?
Nope, but I can write one if you want.
What are "pesky data types" ?
Just me being stupid, by data types I was refering to the fact that MicroC is typeless, and thus you don't have to declare the data type of a variable (string, int, ...etc).