Add inverse of dependent enumerators

Fixed ReverseDependent interface
Added implementation and tests of some dependent finite combinators