Bump Either.
Evaluation can use map.
Typechecking can use map.
Merge pull request #5 from antitypical/bump-either-and-tidy

Bump either and tidy