replace primes.blc with primes.lam
refactor primes.lam
refactor M in terms of C
merge A, M, N into P
refactor expression as F
replace U combinator with Y combinator
extract combinator D
rename unused arguments as _
refactor A into W and X
rename f as x
replace \i with C