Added support for special types whose conversions are built into the runtime (int, float, etc).
Added automatic generation of identity function, to support pseudo-casts to the same type - useful for generic contract scenarios.
WHATEVER.