use ... instead of @@rest to indicate the rest of the pattern
use : rather than @@type
use d= instead of @@default