fix lexing of >=> for #1018
fix parsing of [X<T>=] and (X<T>=) for #1018
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'.
Remove 'satisfies' from operator table

Not yet supported!
Merge pull request #1024 from lucaswerkmeister/removeSatisfied

Remove 'satisfies' from spec operator table
Merge pull request #1023 from lucaswerkmeister/boundCompEvalOnce

Clarify that bounded comparison evaluates x only once
minor
correct definition of postfix increment decrement
correct definition of postfix increment decrement
Merge branch 'master' into usesite