There are several match expression that have an init() method. This seems silly, and opens the way for people to use match expressions before calling init(), which is almost always a Bad Thing. Instead, we should make those match expressions take those arguments in their constructor, so that the objects are always in a valid state.