[benchmark] Refactor: Despecialized Existential

The technique from preceding commit, can be used to fully determine the tested type variant in the `setUpFunction` and use a non-generic `runFunction`s for all the benchmarks.

This eliminates 202 lines of boilerplate.

Author: palimondo