Construction types implemented in Tokariv