new type of grammar that forces specification of pool type