Nuprl - Sections preceding discrete jlc

Sections needed for discrete_jlc

discrete jlc	Basics of Discrete Types
bool 2 jlc	A few basic facts about asserting Bools and Bool Equalities
bool 1
int 1
well fnd
core	Some basic concepts defined type-theoretically.