# KJ-53 Move elaboration logic for name resolution and others to a separate module. Eliminated isAuxFuncElabNaked. Replaced with isElabNaked.