implement some simple check that make sure typedefs don't change ina bad way on us.Prompted by some recent work on types.h by guenther, to be fleshedout as people require.