Let's document what a covariate is, and what logical types for it are. TBH, it's not entirely clear to me as to why one might want to have a different typed Covariate.