Construction types implemented in Ivannie