Gambit: An efficient implementation of the Scheme programming language