remove future work about rank >1 types and equality constraints

These are not standard Haskell anyway so no text is needed.