Introduce first-class type-safe property path references at the core level

Introduce first-class type-safe property path references at the core level #3829