Email address data type

The email-address data type represents email addresses.

Trivial validation is performed to make sure they contain an @ symbol.