1.0.35.18: Fix type-derivation for EXPT