1. In principle/theory, it doesn’t matter which of space and time is the main part and which is the group part of the specification, but in practice, space is almost always better to have as the main part (in particular for more general space-time models; K-H models are a somewhat odd special case)
2. Yes, the K-H models are meant to have constraints imposed on them to handle the rank deficiency; the theory is based on that, so implementation that don’t handle the rank deficiency actually don’t implement the K-H models, but rather the rank-deficient “proto-models” involved in the K-H model definitions. These models _can_ be ok as priors if the data itself is sufficiently informative, but it can easily lead to rank-deficient posterior distributions. Conclusion; Elias implementation should be preferred if one specifically wants the original K-H models.
Now, I don’t use those models myself, since the complex rank-deficiency makes the models extremely hard to I interpret (I prefer having proper priors, either separable with matern*ar1 or ar2, or nonseparable, like in INLAspacetime), but yes, if Type 1 models are simply completely independent iid variables, then combining that with additive Gaussian noise requires additional information to get an identifiable model.