Language_extension.Maturity
val max : Language_extension.maturity -> Language_extension.maturity -> Language_extension.maturity