Update asmtypes.h to be more explicit