Fix bug with free variable(in find_index and substitution, I forgot to include actual scope j -> (succ j)
Catch Idx_Not_found exn
Add a pretty printing for term