Tidy up a couple of ConseqConv doc-entries.

In particular, use \BLTYPE-\ELTYPE to put type information over
multiple lines.
Remove some HOL88isms from doc-entries.

Touching: FAIL_TAC, FILTER_STRIP_TAC, FIRST_CONV.
Remove some HOL90isms from doc-entries.