Board types rename

The `board_types` module didn't really represent types of boards, but really described their geometry. This pull request changes their name.