Better error
Update outdated syntax
Better doc of CountRange
Hint for protocol error
Better internal error
Add ex-info annotation
Rearrange some test namespaces to prepare for collect-on-eval
Check subtyping after check-fn
Use atom> over inst
Rearrange some subtyping cases
Improved subtyping for Results