A note about the semantics of dividing `inf`.
Eliminate `inf` from finite terms.
Add some simplification of expressions.