Temporarily remove function argument error reflection

It needs to be done right, with the new unification info
Temporarily change back to UN to avoid strange errors
Update for new unification error messages