[test] test int & float in primitive.sfp; test AST,JSON,YAML,Type outputs
[ocaml] add str.cma{x} to library
[ocaml] implement SFP core valuation functions