add instances of expr for integer, bool, minmax, and mod7