add node build and bogus transform

src/fodot/constraints.rs

src/fodot/constraints/parsed_constraints.rs

src/fodot/constraints/transformed_constraints.rs

src/fodot/node.rs

src/fodot/node/applied_symb.rs

src/fodot/node/bin_ops.rs

src/fodot/node/elements.rs

src/fodot/node/quant.rs

src/fodot/theory.rs

src/fodot/vocabulary.rs

src/ground.rs

src/ground/bogus_ground.rs

src/main.rs

src/sli_entrance.rs

src/sli_exit.rs

src/transform.rs

src/transform/bogus_transform.rs