Fix typos in kinding judgments
Fix typos in kinding judgments

Kind-polymorphism is written as "X --> k", not "X -> k".

urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb