Simpler return value for t_unify
I should've compiled before I committed, missing paren added