How do fixpoint, variable, let and tag schema constructors work in Winery?

Question

I had previously asked where the Winery types are indexed. I noticed that in the serialization for the schema for Bool, which is [4,6], the 4 is the ve