Term
risp
Times
IntOps
terms
Expr
toString
Expr
Just