But that was mostly for reference purposes , just to refer to the meaning pole. I don't think that it was often used to give an extra meaning const type constraint on the meaning , which is really what we want most of the time I think.
Mm - hmm.
Um , I  I don't know if we 'll ever have a case where we actually h if there is a form category constraint , you could imagine having a triple there that says , you know  that 's kind of weird.
No , no , no , I don't think so. I think that you 'll  you 'll do fine.