Revision of typedef.h

Since the introduction of fixed-length data types, I am wondering if the platform dependency in typedef.h is still needed.

At least, it seems that the include #include "typedef.h" could be removed from a number of C files as it is included from prot.h anyway.