Construction types implemented in Pisochne