High level type modules for C