Remove a :refer :all
Force checking
Improve error messages on reflective calls.

- Suggest likely type hints
- prefer top level errors
tc-ignore implemented as a `do` is good. Now extensible for other ops.