parse strings as list of chars
separate syntax module, pretty printing of types
built-in arguments function
better pretty printing of types
fix most of the compiler flags, add --jsemit