Rename method names in Stringifier and Board; other minor refactorings