More changes to the build.
Updated the bootstrap submodule.
Moved the level pool formal notation grammar into a separate document.