so what about (for example...) "the green structure type of being a separable (?) algebra over the gaussian integers" ?? i think that baez already mentioned this idea once...

also what about "the structure type of being of the form x^2 + y^2" ? or something like that... ??something about how this relates to the (ordinary) structure type of being a separable algebra over the gaussian integers?? ....