moved infer-tag to passes.jvm, added convertible? test to if
moved constant-lifting to post