Clarify that bounded comparison evaluates x only once

The old definition

    l<x<u means x>l && x<u

could have been misunderstood to mean that x would be evaluated twice.
Rectify this using 'let'.
Merge pull request #1023 from lucaswerkmeister/boundCompEvalOnce

Clarify that bounded comparison evaluates x only once