Remove arity inference in type declarations (#23514)

Fixed #23514 (closed)

Arity inference in type declarations was introduced as a workaround for the lack of @k-binders.

They were added in 4aea0a72, so I simplified all of this by simply removing arity inference altogether.

This is part of GHC Proposal #425 "Invisible binders in type declarations".