Construction types implemented in Vereny