Added FinalVertexType which contains a set of properties (with automatic evidence of SmthHasProperty)