Adds relaxations of more functions

• Convex/concave envelopes of activation functions and erf
• Add lower_bnd, upper_bnd, bnd, positive, negative which can be used to enforce the domain of intermediate terms.