fintype instances for intervals

We provide fintype instances for Ico l u, for l u : ℕ, and for l u : ℤ.