3.3.4 Errors and Optimization

"the dynamic inference rules in Formal Semantics define an eager
evaluation semantics for all expressions"
    Change "all" to "most", as there are some exceptions, like 4.6 and
    4.11.
    Also, insert "the" before "Formal Semantics".

"may not raise"
    Change to "might not raise" or "may choose to not raise" or "is
    permitted to not raise".  (Note that the previous sentence uses
    "may not" with a very different sense.)

"because the path expression"
    Insert "evaluating" before "the".

"a static type error would be raised"
    "static error" and "type error" are distinct, according to 3.3.1.
    STA is optional.
    Active is better than passive.
    So change to:
        "static type analysis, if the implementation supports it,
        would raise a type error"

"may not be evaluated"
    Change to "might not be evaluated".