I merged the enclosing `if` with the `match`. In the test case, the `typedApp` was not erroneous; the repeated argument *was* erroneous and contained a subtree with a `null` type. That type was used by `NamesDefaults`, passed to `setInfo`, and hence the crash.