name
Bool
Var
Ne
copris
Neg
copris
NIL
copris
Not
copris
Num
copris
Nvalue
copris