Implemented formal arithmetics
Fixed a few mistakes, added -c argument
Tested on some new tests, lot of less or more minor bugs fixed
Improved warnings
Removed code for incorrect checking of assumption's free vars in axiom statements
Removed code for incorrect checking of assumption's free vars in axiom statements
Added big fa proof test (from task #7)