Is this change for type compatibility with compileExpr, or do we actually have patterns that are expressions?