Remove TABs from source files (and some trailing w/space)

extra semicolons removed from (some) .sig files

Initial version of theory and libraries of rational numbers added.