add necessary helper setSessionManager to not have to propagate Rank2Types and ExistentialQuantification to the user.