Prettier variable names and match case separation

Where shall we put the occurs?