[alextgordon]

Err, so if `type expr` is a variable declaration and `function expr` is a function call, how are you supposed to tell the difference between them?

[pc2g4d]

Perhaps by the limited vocabulary from which `type` can be drawn, i.e. don't name your function `text` ?

[alextgordon]

It doesn't have user-defined types?!