Adapt the Stack interfaces to the v1.1.1 mirage-types interface