Don't substitute into applications to lambdas unless operator * is used.

Define + and * operators on expression_ref's.