Our own implementation of some features of Lambda-JS, based on the paper "The Essence of JavaScript".