Weakening and shifting of Fins

Add two functions:
 * weakenN weakens a Fin n m times
 * shift adds a Nat to a Fin, extending the bound
Add isomorphisms for Fin