Datatype ancestors for CLJS aren't supported yet.
Improve some types from Seqable to Seq return types
Print the original name of free where possible in errors.
Better internal validation in macro
Just ignore frees without bounds in subtyping
More flexible contracts for TApp operator
Simplify intersections lazily in subtyping and cs-gen
precondition
Propagate type variable names
Better line numbers in CLJS
Fully support all binder options with protocols
Don't simplify intersections in fold in case of undefined types
Scope type variable bounds in fold
Abstract about parsing a TFn binder
tests
int-error annotation
Change for> return type to Seq
check-ns supports a collection of namespaces
Better error on unresolved protocol type
Faster internal type checking