Checkpoint of more differ work.

Changing TYPE_CHECKER to have query service enabled.
The diff is still missing a few things, and comparing PK
values is the sticky point for me now.