Added instantiation code for CoreExprEquality.  (Currently buggy, needs fixing.)