Add missing ARef ancestor for Var
Call Un/In constructors in promote/demote
debug
Warn for RClass-with-unknown-params. RClass-supers* returns recursive ancestors
Cleaner code for intern-id calculation
Add internal utils
Delete delayed constraint approach.
Override macroexpansion for clojure.core/ns before checking
Clean up check-form-info, and bind ns management vars as in check-ns
ns-name not needed here
Old comment
Comment: Pred seems like a better name for predicate?
Clean up internal annotations
Something flushed out this error, should instantiate args to polymorphic HOF
perform ns inference only when actually inspecting a ns form.

This might fix the issues with using tools.namespace's `scan`,
since it doesn't look inside jars.
Add core vars annotations

- clojure.core/refer
- clojure.core/*loaded-libs* (private)
`ref` returns a Ref
Correctly handle constraint case with HMap on the left
This looks a little nicer with inline annotations
We don't need to skip the first form of a file; `ns` is friendly now.