pil2-std-lib 1.3.0-alpha

PIL2 standard library: range checks, lookups, and sum/product arguments for proofman