datatype and eval for logic.sml
datatype and example for binary_trees