Type encoding: Verify that the type OIDs match our expectation when encoding values.