Improve ietf-type-util assertions