formatting fixups in types.h