baby evaluator! to test out Ocaml, and SCIP concepts