Refactor TypedExpr WellTyped soundness proof to use Residual proof#820

john-h-kastner-aws wants to merge 1 commit intomaincedar-policy/cedar-spec:mainfrom

refactor_expr_wtcedar-policy/cedar-spec:refactor_expr_wtCopy head branch name to clipboard