Record internal name of 'with' functions

Can look up by source file and line to get the internal name
and the number of 'with' arguments, so thatJ case splitting has enough
information to generate syntactically correct cases.