Initial checkin
Beginnings.
Tests for heading degree
Tests
Extract common code into suite
Pull types out of heading
Added heading equality
Start of tuple equality