supports MatchOr, MatchSequence, MatchStar, MatchSingleton

[jheld]

Description

Please include a summary of the change and which issue is fixed.

Fixes maybe all of #623

I was initially encountering an issue when trying to implement support for MatchSingleton, but I realized that the singleton wasn't actually a Name/NameConstant, but rather the string representation, at least in the test, so that helped me push through to support it as well.

Checklist (delete if not relevant):

• [x] I have added tests that prove my fix is effective or that my feature works
• [x] I have updated CHANGELOG.md
• [x] I have made corresponding changes to user documentation for new features