Added a few comments and function types.

[davidweichiang]

I was trying to understand the lexer/parser and wrote some comments on the way.