Modified type-specific push instructions