- If we map types, does that mean we want to map all properties? - Should this diagnostic be an error or a warning?