Implement TypeAssert, and string conversions
Address review comments

Also, implement real/imag/complex builtins.