Add a TrieMaps for Props and Exprs