Construction types implemented in Kryvchyk