The separation between the parser and the rest of the platform is now
completed. A bug, was fixed so that the platform is now functional. The
symbol table prototypes were completely removed. So were the references
of each claim construct to the behavior to which it belongs.