Very fast compiled dot lenses for javascript