support Sequence statements; envs are symbols not strings; final ast types
extracted Semantics strategies; Machine folds over expressions and statements to generalize accumulation of evaluated results
pkg object externalized