Added some examples
Started thinking about var args
Started thinking about n-ary tuple matching (tuple matching without knowing arity)