Pick and name universes for [bi_tforall] and [bi_texist].

This requires the [fixpoint] version of [tele_arg].
2 jobs for !781 with fixpoint-tele_arg in 9 minutes and 14 seconds (queued for 1 second)
latest merge request