Tests and documentation for normalization of boolean values

[langston-barrett]

• Introduce a ConjMap newtype around BoolMap for readability of pattern matches and type signatures
• Document the annotation on BoolMap
• Document and introduce tests for normal forms of boolean expressions

[langston-barrett]

I don't understand these CI failures:

    Z3
      Test itself is valid and completes (2.27 s): OK (292.02s)
      Test runs past timeout:                      OK (1.40s)
      Test with goal timeout (0.25 s):             FAIL (expected: goal timeouts feature not effective) (1.40s)
        test/OnlineSolverTest.hs:485:
        solver goal timeout didn't occur (expected failure)
    CVC4
      Test itself is valid and completes (7.5 s):  OK (8.13s)
      Test runs past timeout:                      FAIL (2.80s)
        test/OnlineSolverTest.hs:463:
        Solver check query not interruptible (2.8026422220000002 s > expected 1.4 s)
        Use -p '/CVC4.Test runs past timeout/' to rerun this test only.

[langston-barrett]

The CI failure is #278.

[langston-barrett]

Rebased onto #283 for CI fixes.

[RyanGlScott]

LGTM, although the CI is failing now for an unrelated reason: the code uses ImportQualifiedPost, which is only available in GHC 8.10 or later. We could drop support for GHC 8.8 to support this, although this might be better done in a separate patch.

[langston-barrett]

Removed, thanks!