Rename FastSubst3 -> FastSubst

- Optimize some proofs in FMapSubst
- A less aggressive form of forward is in Util/Forwardy
  it produces better proofs that go through and qed faster
  though it is not functionally the same.