Rename Infer.{typeInference => infer}
Add Infer.Load
Export unify module