Use exprIsConApp_maybe instead of rolling our own. Case reduction now much more powerful, as it looks through dictionaries, casts, ticks, coercions, trivial lambdas, and certain unfoldings.