oops fixed tests
InferRules: remove unnecessary lifting
infer apply val as apply only for type constructors
infer structures phase