Some types fixes and a full compressed pair implementation and some more
tests.