Better error for TypeFn variance check
Move F subtyping cases near the top
More flexible with datatype ancestors
Replace assert with int-error
changelog
Remove debug lines
Add declare
Formatting
Only allow possibly polymorphic function intersections in protocol methods
Experiment with new API
Test for variance checks
core.async breaking changes
Comment with interesting subtyping problem
Remove debug prints
Merge branch 'master' into unstable

Conflicts:
	CHANGELOG.md
	src/test/clojure/clojure/core/typed/test/core.clj
Remove debug prns
Tests pass