Construction types implemented in Tokari