+ (fn ...) forms no longer require a mandatory local name.
+ Added pre-post conditions.
+ Added class type-tags for vars/bindings.
* The 'fn form now has access to 'recur.
* Fixed an error wherein unrecognized names in type definitions where treated as type-vars when they weren't.