New A2L Manifolds ProSet