modut A programming language with... functional statically typed substructurally typed (subtypes) conjunctions/disjunctions of types tagged types [structural refinement types][struct-ref-types-tyde2022]