Fix Functor/Applicative warning for Result
Add unionTM to the RewMap' Trie
Warning removal