Fix a few typos and errors in the problem statements and type signatures