PATTERN-(VAR,(NUM,SYM)-CONST,TAGGED-TUPLE,ALT) implemented.