quicksave
racket v proves
proves improvements
more dep tests
minor proves/subst fixes & tests
sli + proves
almost at typeof
save before trying gensym for nulls
locals added, on to alpha-vary
type checking of vals
typeof in progress
parser written
swapping over to macro'd tests
moved parse
adding icfp examples

still need to add cons related functions, but I’m testing the features
thus far for typeof