First draft of annotation member derivation.
Generalized the spanOver function.
First draft of annotation derivation.
Merge branch 'master' into type-system
Merge branch 'dtrigger' into type-system
Added type system changes for recent spec changes relating to DTrigger.
Generalized Template Haskell generated tree child assertions.
Merge branch 'dtrigger' into type-system
Removed comment after spec update.
Added mutability argument to CNone.
Abstracted a common error-handling function.
Abstracted error handling functions.  First draft of declaration derivation.
Removed stale TODO.
Removed stale TODO.
Generalized ConstraintSetLike operations to allow for constraint sets containing stubs.
First draft of generalization: TVar still includes origin, which is causing problems.
Refactored assertNChildren functions to more general checkNChildren
(returning a Maybe).
Considerable refactoring of monads, data, and the error-handling routines.
Warning hunt.
Implementation of some of the steps of type decision.