Widened domains and ranges for annotation properties.