The schema code so far. The test sFOparserCNTTest.scala is commented out because
there is an error in the quantification rules as we spoke today.






git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1557 85d21ef8-add0-11de-ae77-5bfb9c5a3f34