so what about "flat" (or something...) models of an algebraic-geometric theory in the environment of modules over a local (commutative) ring?? ... or something... ???relationship to stuff like the zariski topos of a scheme (or artin stack, or something...)?? ...