New empty patterns have no name by default
New empty patterns have no name by default

This is the final step toward having pattern names be fully set by
the user instead of automatically generated.

jstrait/jssynth,jstrait/jssynth