So I tried out my ideas for type checking core.match with CinC, and it worked out wonderfully.

http://www.youtube.com/watch?v=g2zts1hW19k