QUAL-VAR ::= qual-var VAR SORT
A qualified variable QUAL-VAR is written:
(var V:s)
It is well-sorted for the sort s.
