update names of Fin constructors for compatibility with git idris
Merge pull request #4 from evanrinehart/update-names

Update names