Construction types implemented in Starosillia