Two models of Synthetic Domain Theory