Support building infix logic representation

[esseivaju]

Refactor the PostfixLogicBuilder to support other types of logic notations. In particular, support for infix notation as part of #1282. PostfixLogicBuilder is now a free function called build_logic that is templated on a policy object dictating the notation to build. Any state is now held in the policy object instead of the builder object and build_logic provides common behavior (faces mapping).

This simple implementation inserts parentheses around every single Joined operator even if they wouldn't be necessary. This also doesn't check that the tree is in a valid infix-compatible form (no Negated {Joined{}} node)

[github-actions]

Test summary

 4 215 files   6 481 suites   15m 4s ⏱️
 1 670 tests  1 664 ✅  6 💤 0 ❌
22 862 runs  22 782 ✅ 80 💤 0 ❌

Results for commit 5c0b09c.

♻️ This comment has been updated with latest results.

[esseivaju]

@sethrj I think this is ready now.

[sethrj]

Sorry I've had these queued up for a couple days but forgot to send

[esseivaju]

@sethrj @elliottbiondo Ready for a 2nd look.

[sethrj]

I think this is good enough, we have enough to do besides going in circles about the details of the details of the details here. Thanks!