A Note About Synthesizing Function Expression Names

if the name of a function expression is the same as its synth name, then it needs no further synthesis; otherwise, it should be treated like a liquid, because its name is not a declaration-level binding, which in turn means it should wait for all "actual" names to be synthesized before its name can also be synthesized, which is the definition of a liquid name. There is an important catch though -- turning fnexpr names to liquid names requires all of the fnexprname's lors become the inital value for the liquid's crsList.