[GSoC 2023] Key Path inference and diagnostic improvements

[mtsrodrigues (Mateus Rodrigues)]

Does solving this bug Key Path Expressions as Functions and Identity Key Path is on the scope?