Rename typeclasses to instances
Add ref to LetFun
Inst is mod_path
Modify solve_constraints