Fix the simplification of Order at Infinity.
Printing of Order at infinity.
Add tests for Order at Infinity.
Add printing tests for Order at Infinity.