Strong agree that this is hobbled by being a statement.

Pattern matching is great for dispatch and overloading, but because it's a statement there's no way for users to add overloads.

There will have to be some `matches(pattern, object)` function in CPython. Why not make this available to users? Why make patterns syntax, not objects?