DeltaGroupoid: Add example corollaries for new theorems
DeltaGroupoid: cleanup

* Make Delta's t parameter implicit
* Use infix notation for the defined operations