Bootstrapping the Lambda Calculus toward Scheme