Removing dead code in FMapSubst
More refactoring

- move mentionsU (add mentionsV) to Expr/ExprOk
- move instantiate (and associated lemmas) to new
  InstantiateI.v
- Updates for newer ExtLib.
- Break out some lemmas (adds Util/ListMapT)