[emmelaich]

Looks fantastic. Does it handle typedefs too? So one could write

   (var my-string conststring "Blah")

with the appropriate typedef.

[makuto]

Yes! You can typedef types and function signatures.