translateExpression scope _ nsid (L1.L1ExSignature ss ex sig) = do
  L2.L2ExSignature ss <$> (translateExpression scope ss nsid ex)
                      <*> (translateDomainExpression scope ss nsid sig)

-- | Translates an L1UnitExpression to a L2UnitExpression.
translateExpression scope _ nsid (L1.L1ExSignature ss ex sig) = do
  L2.L2ExSignature ss <$> (translateExpression scope ss nsid ex)
                      <*> (translateDomainExpression scope ss nsid sig)

-- | Translates an L1UnitExpression to a L2UnitExpression.
translateExpression scope _ nsid (L1.L1ExSignature ss ex sig) = do
  L2.L2ExSignature ss <$> (translateExpression scope ss nsid ex)
                      <*> (translateDomainExpression scope ss nsid sig)

-- | Translates an L1UnitExpression to a L2UnitExpression.