Checking in because this might be a typechecking BUG.  readPayload function breaks typecheck if TypeFamilies is enabled.  Should look at why.
Use the Backend class.  Passes 57/60 tests on test-c, going through the backend class.