Nuprl - Sections preceding lambda jlc

Sections needed for lambda_jlc

lambda jlc	Currying functions and Explicitly expressing recursion.
core	Some basic concepts defined type-theoretically.