Domain constraints belong in the type system, not in validation code written after the fact.
Gengo is a small embeddable scripting engine. You write the host application. Your users write Gengo scripts. The engine runs those scripts in a controlled environment — isolated instances, configurable instruction budgets, explicit capability grants, and typed host function bindings.