Documenting the changes of Locate semantics.
Missing space in pretty-printer
Cleanup code for constant equality in kernel conversion.
Correct eauto which was not dealing properly with polymorphic constants.