fixes in EXPT type derivation