Regulation compilation: minor fixes

This pull request does a couple unrelated things: 

We add better handling for when we POST to a node that's already in the tree, but reserved. This prevents duplicate nodes being added. 
We fix the amdpar grammar, so that <E>(1)</E> level labels are parsed correctly (and add another level).