Fixed `config.def.h`: added types.