[m-rev.] for review: simplify profiler feedback code

[Zoltan Somogyi]

On Tue, 2 Dec 2014 22:24:21 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> Incidentally, this also fixes bug #181, which I have now marked as
> fixed.

Not really incidentally. The use of partially instantiated terms
(via quite tricky code) was exactly what  I was trying to
get away from, though I did not know that there was a Mantis
bug for the issue.

Zoltan.