Add deduction forms for exponentiation in iset.mm
Add deduction forms for exponentiation in iset.mm

This is exp0d through sq11d , copied without change from set.mm.
Follow up changes will be needed to get it to verify.

metamath/set.mm,metamath/set.mm,metamath/set.mm