Classifying topoi in synthetic guarded domain theory