Construction types implemented in Svitle