allow backtracing to earlier definitions, or in-context definitions

Cette issue n'a pas de description.

L’issue ne mentionne aucun fichier, test ou point d’entrée. Il faut donc commencer par examiner le REPL et le code de gestion des définitions du dépôt afin de déterminer comment sont représentées les définitions antérieures et les définitions dans le contexte. Le travail sera considéré comme terminé lorsque le comportement de backtracing prévu sera implémenté et vérifié à la fois pour les définitions antérieures et pour les définitions dans le contexte, avec des tests documentant les cas concernés.

Rédigé par le modèle d'indexation à partir du texte de l'issue.