“…In this section we briefly survey the existing literature to better contextualize our design choices. The incorporation of static and dynamic typing has been extensively studied [28,15,23,26,8], though usually in the context of a core calculus instead of a full-featured language. There also seems to be a juxtaposition of the literature, which generally follows a static-first approach, and practical implementations, which generally follow a dynamic-first approach 3 [7].…”