Added test for bounds inference on function values.
Taught bounds inference about ceil, floor, round.

Partially fixes #199