Construction types implemented in Terentiiv