Implementations for EXPRESSION parsing and BINARY EXPRESSION evaluation, as for #21