dismantles the scaffolds
high-level sketch of a functional interpreter
pattern match that covers all interpretable TSTs