Want general purpose pattern matching, binding, unification. Possibly split into multiple services a la carte. My initial use case (generalizing how to limit reflection results) needs only matching, no binding or unification.


Based on a combination of my needs, the matching implementation I have proposed for / reflection, and Drew Colthorp's matchure: