Smaller changes to specification of readBoardFromLine
Started specification of readBoard.