Clean currExternalFunctions

It seems to be useful, but `grep currExternal * -r` produces nothing but the definition.

Do we still need it?