more remove-term-eqtype

Remove TABs from src

Will also make selftest to check that they aren't introduced

support for numeral forms added

Initial version of theory and libraries of rational numbers added.