clarify and index Fin(n), fix #294 and see #297
another example of a polymorphic function, close #297
Merge pull request #319 from mikeshulman/fin

finite types and polymorphic functions