compile time occurs check for pattern matching

Question

Claire Alvis correctly pointed out that it's easy to make a mistake when you have many clauses and accidentally use parameter name in a match for that parameter - we could easily do a compile time occurs check for these cases.

Answer 1

Reference: https://clojure.atlassian.net/browse/LOGIC-140 (reported by dnolen)