Fixed typos, unify some macros
Intro to type theory and judgments
basics: univalence
basics: coproducts
basics: natural numbers
basics: mere propositions and subsets
messing around with the introduction