Simpler return value for t_unify