Nuprl - Sections preceding bool 2 jlc

Sections needed for bool_2_jlc

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.