LogicSupplement	Some handy basic lemmas about propositions and about types.
quot 1	Support lemmas for quotient type.
rel 1	Common properties of binary relations.
bool 1
int 1
well fnd
core	Some basic concepts defined type-theoretically.