Construction types implemented in Khochyne