Stupid simple inefficient unifier