~ reified frontend fixes