Add classes for representing texprs