removed revy-ubertex-next as it toes the same as revy-ubermode-next
revy-ubertex-mode now adds metafunctions
added an altered version of revy-ubertex-slide-number using overlays instead, working but not finished
don numerize in hide