Initial typejoin with promotion -- ignore void