Update HasSpan instances

* Remove overlapping instance for Integral (didn't work, cause
  conflicts)
* Instead, add instances for Int and Integer manually
* tmod by 0 behaves like id for the default definition
* Add instance for tuples
Add a little documentation