polys: Added compose() and verify solve_lin_sys benchmark's solutions
printing: Print rationals without denominator if equals 1
printers: Don't import rarely used functions in printing/__init__.py
polys: Renamed PythonRationalType to PythonRational
polys: Don't use Type suffix in sympy.polys.domains