Fix typos and exercise file in part 1 of book

[SwampertX]

Not sure if there is a better way to edit the code for twice, where an implementation is given and readers are expected to fill in a missing type declaration.

[ghost]

All CLA requirements met.