translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainReference ss (L1.L1RelOrAbsPathNoInt _ isabs rp)) = do
  domainType <-
    findScopedSymbolByRAPath ss nsid (L1.L1RelOrAbsPath ss isabs rp) $
      \nsc domainName ->
         M.lookup (L1.l1IdBS domainName) (L2.l2nsDomains nsc)
  return (domainType, scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainReference ss (L1.L1RelOrAbsPathNoInt _ isabs rp)) = do
  domainType <-
    findScopedSymbolByRAPath ss nsid (L1.L1RelOrAbsPath ss isabs rp) $
      \nsc domainName ->
         M.lookup (L1.l1IdBS domainName) (L2.l2nsDomains nsc)
  return (domainType, scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainReference ss (L1.L1RelOrAbsPathNoInt _ isabs rp)) = do
  domainType <-
    findScopedSymbolByRAPath ss nsid (L1.L1RelOrAbsPath ss isabs rp) $
      \nsc domainName ->
         M.lookup (L1.l1IdBS domainName) (L2.l2nsDomains nsc)
  return (domainType, scope)