"bool"
"bool"
varType
var
varTerm
refl