Construction types implemented in Vary