Let $K$ be a (perfect) local field, and let $S = \lim (\mathrm{Spec} A_i)_{i=0}^\infty$ be a pro-affine variety over $K$. This means that each $A_i$ is a finite type $K$-algebra and that the affine varieties $\mathrm{Spec} A_i$ form a projective system. Note that $S$ is an affine $K$-scheme which is not of finite type in general.

I have some elementary questions about such schemes.

Q1.Is $S$ regular if and only if $\mathrm{Spec} A_i$ is regular for all $i=0,\ldots$?

Q1*.Is $S$ normal (resp. irreducible or reduced) if and only if $\mathrm{Spec} A_i$ is normal (resp. irreducible or reduced) for all $i=0,\ldots$?

Q2. How can I determine the dimension of $S$ from the dimension of $A_i$. (Assume the schemes to be integral for this question.)

Unfortunately, I have little feeling for such pro-affine varieties at the moment.

A last (and bit vague) question:

Q3. Is there a moduli space of smooth connected pro-affine varieties of given dimension?