v0.4 release checklist -- enter types!

[rrnewton]

• [x] equal? support
• [ ] inter-module define-acc works (or can put this off one more release if needed)
• [x] Handle (enforce) numeric type. This can probably happen just in unify.
• [x] Add until / until-array
• [x] Allow type-annotated function params in (define (f x) ...) form.
• [x] Allow top-level (: v ty) signatures for functions.
• [x] Add sexp->acc-array inverse of the existing function.
• [x] Add type-of or some other way to view/debug types
• [x] Finish gentle-unify-arrows to better localize function argument errors
• [x] Fix typechecking for procedure application
• [x] Add rudimentary define-acc (manifest) scalar support
• [x] add free-vars for envs and handle generalize correctly
• [ ] flesh out the prim table to all or almost all real Accelerate scalar funs, #56

[rrnewton]

Just updated this with several more small things to remember to do.

[rrnewton]

Oops, we need to buff up the prim list also, for scalar functions.