Does this BNF for expressions seem correct/legit?