Minor refactoring of interface to extraTyVarInfo
Comment the expect_broken for Trac #9208
Add Note [Placeholder PatSyn kinds] in TcBinds

This is just documentation for the fix to Trac #9161