Separated pattern making from wildcard instantiating.
Allow omitted arguments in node macro syntax, replace with PatVars.