Added a bignum library and a lambda calculus based intermediate representation.