OK, I've updated my patch according to your suggestions, see the result
below (and in the `scratch/interpreted-function` branch).
Any further comment/objection?


        Stefan