Rename a variable
More work on readline() and friends
Rename a variable
Update exampes
Update tests