Inline `app` in `Assoc` #6159

Job	Run time
Pyk: Code Quality & Unit Tests (3.10)	48s
Java: Linting	1m 27s
Pyk: Code Quality & Unit Tests (3.11)	50s
Pyk: Code Quality & Unit Tests (3.12)	45s
Code Quality Checks	0s
K: Ubuntu Jammy Frontend Package	0s
K: Source Build & Test	0s
K: Ubuntu Jammy Package	0s
K: Nix Build & Test	0s
Pyk: Nix Build	0s
Pyk: Documentation	0s
Pyk: Profiling	0s
Pyk: Integration Tests	0s
Pyk: Regression Tests	0s
K: Profiling	0s
	3m 50s

Provide feedback