Compiler [Typechecker]: Improved type for predef::`+(). The type resulting from adding strings with integers and/or floats should now be reasonably correct. Also adds a few new type macros.