typecheck: clarified needed changes for unify