Slight refactor in schemata to avoid some casts.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1503 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removed AbsInScope from FOL and HOL and everything depending on this.
Deleted some unused directories.
Commented out some printlns that printed too many things during the tests.


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