**Specification language, type inference**