Construction types implemented in Partenit