Construction types implemented in Obidne