added a MASKED module type for mask.mli