Types: distinguish optional fields from required ones.