Create FiniteTypes.v