Update 0000-higher-kinded-types.md

A few more tweaks and rewordings.