- Templatize TypeInt, TypeLong into TypeI<jint>, TypeI<jlong>. This helps us consolidate several inference rules on them, as well as allows us to perform exhaustive tests on all possible combination by limiting the bitwidth of the operation. I.e. do exhaustive tests on TypeI<intn_t<1>>, TypeI<intn_t<2>>, etc.

- Allow creation of TypeInt, TypeLong during testing without initializing the compiler.