typed production rules