Handling of language-tagged literals
We can enforce a term to be of a certain type, but the equivalent for language-tagged literals is missing: we cannot specify in the signature of a template that only literals with, for example, the language tag "en" are accepted/expected.