Uniqueness, continuity, and existence of implicit functions in constructive analysis