5.6. Pattern match

[Needs attention] To be written.