Frames and Topological Algebras for a Double-Power Monad