Scheme macros for non-linear pattern matching with backtracking for non-free data types - View it on GitHub