refactor compile_simple_global*
fix bugs on json_of_parameters
rename eval->apply; implement simple implication Equality->Conjunction