add a version of the language with non-polymorphic constants