mapInterpreter is now parameterized at info and result.

But it's not parameterized at reference yet because we need a way to
get new ones. By now, we are just using a counter which is incremented
with each put.