Add tc-e/tc-err for CLJS.
Don't print :ns in CLJS errors, it's a map of info.
Don't do pretty printing of cljs types yet.
Big fixes for CLJS checking/collecting/resolution/ns-deps. Seems to work.
Fix CLJS includes in core.typed.rt jar
Add def/loop macros to cljs
Implement env-for-error without impl-case (used by core.typed.rt)
Clarify referring `def` is only impossible in Clojure
Revert this file.
Add test for CLJS namespace deps. Update old some old syntax.
Wrap macroexpand in tools.analyzer's env
Move to tools.analyzer.jvm 0.2.20
Add :checked-ast option to check-ns-form
Move unit tests for `overlap` to their own file

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>
Extract nth helper functions for filters

The comments became redundant between the implementation and function
names.

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>
Extract nth helper functions for return type and filters

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>
Make nth helper function's variable names more verbose

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>
Get nth's index once at the top

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>
Helpers for converting expressions to objects/types

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>
`first` now uses a path expression

This allows code like `(= :foo (first x))` to refine the type of `x`.

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>