Even more parsing infrastructure, which should now be enough for computing the immediate consequences of a production.