Text this: One is all you need: Second-order Unification without First-order Variables