nil
"name"
const
"bool"
typeOp
nil
opType
constTerm
axiom