KindedTyVarSig -> TyVarSig
KindOnlySig -> KindSig
Add filterByList. Some comments