Addition and multiplication of Fin

Useful for indexing into Vects of Vects
Merge pull request #984 from david-christiansen/fin-add-mul

Addition and multiplication of Fin