Add `Matchable` trait

[Jasper-M]

I think this just goes to show that it might be a bit late to make such fundamental changes.