pattern

Pattern is a recursive data structure that pairs a sequence with a value. The sequence is the pattern itself. The value decorates the sequence with additional information. The sequence elements are themselves patterns, which allows for arbitrary nesting and complexity. This is a reference implementation designed to be translatable to other languages while maintaining category-theoretic correctness.