Construction types implemented in Koteleve