pretty print of type variable
add more test cases
fix unification (when type var on both side)
add more test cases in README