Coqide prints succesive hyps of the same type on 1 line

This revert somehow f5d7b2b1eda550f5bf0965286d449112acbbadde about "Hypotheses
don't respect Barendregt convention".