Fix bug reported by Matthew Fluet where a functor failed to type-check.  The problem was an error with refactoring because there were two different "typeNo" arguments.  The new facility to identify where a particular variable was declared helped track this down.
Fix bug reported by Matthew Fluet where a functor failed to type-check.  The problem was an error with refactoring because there were two different "typeNo" arguments.  The new facility to identify where a particular variable was declared helped track this down.

git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@633 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

mn200/polyml,polyml/polyml,dcjm/polyml,dcjm/polyml,mn200/polyml,mn200/polyml,dcjm/polyml,mn200/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,polyml/polyml