Introduce secondary errors in place of explicit application of reasons to `Typing...