allow default names for selectors via wildcard (_) + fix wrong index (k)
allow default names for selectors via wildcard (_) + fix wrong index (k)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle