more host functions
fn now binds resulting func by name
do, let1, if-then, if-then-else forms.
specify the set of self-evaluating types.
fixed do; count tail depth from 0.
remove Array_of_Expr from eval rules; code reorg.