Construction types implemented in Zernove