Update Unification.agda

removed superfluous comment