Lazily evaluate a property's potential property definitions.
Fixed detection of nullable properties when refining.