Construction types implemented in Radcha