Modeling abstract types in modules with open existential types