1. I want to keep this section short and easy to understand. The original description is enough.
How about make a independent section for BNF-ish definition?

2. In BNF, I cannot understand if a lexical variable that is bound to a function object can be used as OP. It is lexical, but not fbound.