iso3166-country-codes-0.20140203.8: A datatype for ISO 3166 country codes

Defines datatype CountryCode that has a two letter constructor corresponding to each of the two letter ISO 3166 country codes, and mappings from that type to the official name of the country.