PROTEL

Procedure-oriented type-enforcing language