recursivelyTranslateModel :: L2.L2NamespaceID -> ModelTranslation ()
recursivelyTranslateModel thisNSID = do
  Just (L1.L1NamespaceContents l1nsc) <- (M.lookup thisNSID . mtsL2ToL1Map) <$> get
  translateNSContents def thisNSID l1nsc
  
-- | Updates the contents of a namespace with the actual definitions, replacing
--   the temporary 'skeleton' definitions.
recursivelyTranslateModel :: L2.L2NamespaceID -> ModelTranslation ()
recursivelyTranslateModel thisNSID = do
  Just (L1.L1NamespaceContents l1nsc) <- (M.lookup thisNSID . mtsL2ToL1Map) <$> get
  translateNSContents def thisNSID l1nsc
  
-- | Updates the contents of a namespace with the actual definitions, replacing
--   the temporary 'skeleton' definitions.
recursivelyTranslateModel thisNSID = do
  Just (L1.L1NamespaceContents l1nsc) <- (M.lookup thisNSID . mtsL2ToL1Map) <$> get
  translateNSContents def thisNSID l1nsc
  
-- | Updates the contents of a namespace with the actual definitions, replacing
--   the temporary 'skeleton' definitions.