Construction types implemented in Vershynne