added equiv-\Pi-l (counterpart to equiv-\Sigma-fst)