we can just do what typeof does, but need to handle the special
case of additional parens properly, which this commit does now

also adds a fairly big unit test

TODO: codegenerator?
TODO: type_compiler.cpp?
TODO: m_typeId in type_visitor?
TODO: share code between type visitor and type builder