Have constructor definition compilers take a DB parameter.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2959 f499efd5-9937-0410-b36a-d3739c31ded8
Various cleanups.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2960 f499efd5-9937-0410-b36a-d3739c31ded8
Remove special variable $libFile

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2961 f499efd5-9937-0410-b36a-d3739c31ded8
Remove Lispy junks

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2962 f499efd5-9937-0410-b36a-d3739c31ded8
Misc cleanup.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2963 f499efd5-9937-0410-b36a-d3739c31ded8
Misc cleanups.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2964 f499efd5-9937-0410-b36a-d3739c31ded8
Add DB parameter to middle end functions.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2965 f499efd5-9937-0410-b36a-d3739c31ded8
Misc backend cleanup.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2966 f499efd5-9937-0410-b36a-d3739c31ded8
Simplify backend functions

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2967 f499efd5-9937-0410-b36a-d3739c31ded8