Added adjustType to declare.
Lower asserted to terms to Proposition, part deux.
Sanitize messages so equality works out.
More experimental work on tasks.
Clojure 1.6-beta2.