Hi,

I'm test driving the extensible typing rules interface that Typed Clojure exposes by porting some hardcoded internal logic to this (eventually) public interface.

Here's what tc-ignore and ann-form look like, as well as rules for ns and defmacro.

Thanks,

Ambrose