Pascal Costanza's minimal infrastructure for dynamically-scoped functions