Construction types implemented in Ruda