Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case