Some forpart restriction speedups
Validate input in PPFE for gcd, lcm, vecsum
Add binomial(n,k)
More aggressive binomial reduction