Functional Equivalence and Residual Rights post-Carpenter: Framing a Test Consistent with Precedent and Original Meaning