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