Simplify API, flag -monad replaced by -refill-handler