Using Domains with Replo