module type Executable = sig ... end
module type NeedsValidation = sig ... end
module type Conjunctable = sig ... end
module type Disjunctable = sig ... end
module type Negatable = sig ... end