typecheck: work on unify