Denotational Semantics of Recursive Types in Synthetic Guarded Domain Theory