Fixes distribution issue

The config.h header file isn’t distributed, and therefore should never
be included from another public header file.
Clean up

The (inherited) UWORD32 type is no longer used. Getting rid of it.
Adds missing include

The integer.c file needed the “size of int” definition to compile.