Construction types implemented in Sadove