Construction types implemented in Radiv