Construction types implemented in Svoboda