Support for Comparisons on Numbers in C++ Implementation of Auth Logic

[aferr]

This was implemented for the rust version in #427 so this can follow that PR

[harsha-mandadi]

Andrew, we support comparison on Numbers in C++ but organized in a different way. We convert all the Rvalues to be either flatFacts or Predicates. Some tests for reference:

raksha/src/ir/auth_logic/ast_construction_says_assertion_test.cc

Line 58 in be6ef8e

INSTANTIATE_TEST_SUITE_P(

[aferr]

OK I guess when constructing the ast, rather than making a separate AST node for RValue, you make a BaseFact where the name of the predicate is the operator here.

This might work OK for now, but eventually I think it's better to have a separate AST node for RValues since this way we are throwing away the information that this is a numeric comparison rather than a regular predicate. This might make the universe relation translation code slightly more awkward in one spot namely here, but I think we can work around it.

[aferr]

OK this issue was actually fixed by @harsha-mandadi a while ago. Sorry about that. My mistake.

A separate issue tracks the minor point: #672