Construction types implemented in Tymchenky