Testing all the examples; some imports are missing still (Number, NAND, Quantifier), and there are bugs in run scripts for: Scheme..Induction, Simple..Hypothesis, SymbolicRegression/MapSymbolic, and SymbolicRegression/Symbolic.