Update `properties` and `patternProperties` annotation language#1345

Merged

gregsdennis merged 4 commits intomainfrom

gregsdennis-property-annotation-language-update

Nov 20, 2022

Commits on Oct 27, 2022

Commits on Nov 6, 2022