Un lenguaje de programación que le permite definir nuevos límites para tipos simples

Muchos idiomas C++, como , C#y le Javapermiten crear objetos que representan tipos simples como integero float. Usando una interfaz de clase, puede anular operadores y realizar lógica como verificar si un valor excede una regla comercial de 100. Me pregunto si es posible en algunos idiomas definir...