Construction types implemented in Radove