Fix: a bug in matching variadic tuple types;
Add: slicing operation for maps;
Add: more demos.