Var(_,_)
Add pos to Type.Con
Add Type.show
Improve unification error message