Remove TABs from src

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

Remove eqtype declaration for term type

Initial version of theory and libraries of rational numbers added.