Implement a TSL-neutral type conversion system

[yatli]

There are a few benefits from this, for example:

1. It will greatly reduce the complexity of the codegen.
2. It will accept open types, instead of sticking to a closed type system which only contains types defined in TSL. (for example, GetField is invalid when the type system only contains float, which is counterintuitive)