Module Jane_syntax.Strengthen

The ASTs for module type strengthening.