translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionReal ss units) =
  (,) <$> (L2.L2DomainExpressionReal ss <$> translateUnitExpression scope ss nsid units)
      <*> (pure scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionReal ss units) =
  (,) <$> (L2.L2DomainExpressionReal ss <$> translateUnitExpression scope ss nsid units)
      <*> (pure scope)
translateDomainExpressionCrossScope scope _ nsid (L1.L1DomainExpressionReal ss units) =
  (,) <$> (L2.L2DomainExpressionReal ss <$> translateUnitExpression scope ss nsid units)
      <*> (pure scope)