suggest Nothing
add error code
import
fix #769
rationalize some error messages
solve npes
fix autocompletion after & in satisfies, after | in of
improve error messages for broken exists/nonempty conditions
add error codes for "declaration is not visible everywhere "
minor
eliminate dupe error
eliminate unnecessary errs
add an error code
fix location of error message
add error codes for 'supertype of type is not visible everywhere'
add disabled code
validate that import lists dont contain dupes fixes #767
fix #770
allow meta refs to local classes for #706
fix test