Construction types implemented in Ovadne