Add conjection of booleans to prelude.
Add lecture 5; well-typed evaluator predicate-style.