Monadify iface/IfaceEnv: use do, return and standard monad functions