Construction types implemented in Shypuvate