A Model of Countable Nondeterminism in Guarded Type Theory