update names of Fin constructors for compatibility with git idris