Construction types implemented in Isai