Defined most of the data types, places to define eq?, eqv?, and equal?,
and the boilerplate associated with all of that.