define atype { number n; param number p; constraints { n * p = 1; } }