Added mapK to StateT
Made the type of mapK on StateT more general.