Augmented Homotopical Algebraic Geometry