panic commit
fix function argument type schemes to not generate a forall
Infer -> Infer-old
Infer2 -> Infer, remove Infer-old
add many missing rules to Infer.hs