Replace core.logic/kibit rewrites with sjacket-based scheme that uses Common LISP-inspired annotations instead of runtime metadata.

Merge pull request #17 from lynaghk/sjacket