Correct double-star pattern interpretation

Fixes #62
Derive Show instances for patterns
Update tests for double-star patterns