fixup: correct MayProduceNil static semantics
fixup: correct MayProduceNil static semantics

* add trivial MayProduceNil static semantics for PrimaryExpression
* correct and simplify MayProduceNil static semantics of
MemberExpression

claudepache/es-optional-chaining