Added support for wildcards and tuples.
Most of match is working now.  Still need to find a solution to the local variable problem.  Also, I need to remove the trace code.