"bool"
"bool"
varType
var
#varTerm
"bool"
const
"bool"
typeOp
nil
opType
constTerm
refl
absThm