The generalised type-theoretic interpretation of constructive set theory