implement some simple check that make sure typedefs don't change in
a bad way on us.

Prompted by some recent work on types.h by guenther, to be fleshed
out as people require.