Addition and multiplication of Fin

Useful for indexing into Vects of Vects