Bottom-up Scheme implementation