Large sets in constructive set theory