Added MATCH_TYPED_VAR_IN_LIST and MATCH_TYPED_ANONYMOUS_VAR_IN_LIST
Removed some redundant type checks.
Optimized matching of multivars in lists
Profiling after list matching optimizations

We are now back at a factor 12.8x.