Precise Implicit Close

[jdonszelmann]

Implement a Completeness Strategy that is similar to the strategy outlined in §3.1 of Bach Poulsen et al. (2023)

Casper Bach Poulsen, Aron Zwaan, and Paul Hübner. 2023. A Monadic Framework for Name Resolution in Multi-phased Type Checkers. In Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2023). Association for Computing Machinery, New York, NY, USA, 14–28. https://doi.org/10.1145/3624007.3624051