Add some documentation
Define Groupoid and show Delta is an instance

Also, prove the first corollary from Groupoid laws.