basics: the unit type, and an introduction to sets