change IR repn from (e . t) to (e t)
add tuple type (still buggy)
fix type inference bug (shouldn't expand type in unify\!)