Yes doing the keywords is one thing, the built-ins another, and harder as well. But given the success logic and mathematics has had with remaining largely symbolic, and the mathematical nature of python, it might be at least an interesting exercise.