Construction types implemented in Irshyky