Use of Q as propositional variable conflicts with rational type

[byorgey]

The issue is that uppercase letters like P, Q, R are sometimes used to represent arbitrary propositions. But if we try that in Disco, we get an error about not being able to use the reserved word Q.

[byorgey]

I think for now it's easier to just stick to using lowercase letters to represent propositions.