Fix description of typecase; and some minor changes

Thanks to Sian Mountbatten for the bug report.