Changed all comments to '#' comments.

I also fixed small issues that I saw while fixing the comments. In
particular, the Auto Type section was removed.