Attach local type information to function expressions
Add :file-mapping option to check-{form,ns}-info
Add Str alias
Specify implementation in unit tests
Add support for namespaced special types.

ClojureScript NYI
Scratch files for file mapping