Define constraints on well-known types

[clems4ever]

For instance MAC addresses, IPv4, subnets, emails, urls, integers, we can validate the format to avoid divergence of the overall model.