https://9lib.org/document/yr36mmjy-declarative-name-binding-and-scope-rules.html