Added code to find samples (and their sources) in the nofib suite.
Updated README's TODO
Restarted working on HSE renaming procedure, this time on Annotated syntax.