Create more succinct API by renaming ExprPtr to Term

The new class name for shared expressions also aligns more
closely with the terminology in the SMT-LIB 2.0 specification.