Fixed list and tuple pattern matching.

Still outstanding: Macros in expressions, Guard variables when logged from other cases.