Construction types implemented in Urych