little tweaks
Rename *...* to =*...* to avoid Clojure's warning about dynamic decl.
testing vars and nums
let the define-type macro also define a default constructor
basic tests
fig 6
add test for application
a few more arithmetic ops
Test form, and tweaks:

- subr is a built-in aggregate type now
- use tracing for debugging
lambda app, and some simplifs