values + contexts for typing & eval
accidental inclusion
test for type contexts. move program to contexts
remove Program from syntax
test structs
clean slate
Using DeBruijn indicies and finite sets.