A2P.PAFR: Patterns, Algebra, and Functional Reasoning