They should look exactly the same as before for the single argument case.
```
; Type Checker: type mismatch;
;  mismatch in filter
;   expected: (Bot | Top)
;   given: (Top | Bot)
;   in: here
```

I'm not sure how to show the multiple argument case. Currently it just shows the same thing with no regard for which argument it is.