move repetative #inspect to module
add denotational semantics
add grammar for one expression