I think we tend to write `expr.base.func is Abs`