Construction types implemented in Vyshnivchyk