"variablename"
"variabletype"
varType
var
"constname"
const
"consttype"
typeOp
nil
opType
constTerm
absTerm