Fix a matcher than reversed the expected/actual sides in the diff.
Adds Expr, Doc, and GroupBuilder.

Still some failing tests, but this is a lot of stuff already.