Add documentation in types.h