Construction types implemented in Motiiky