Structify type promotion