I'm very fond of the defcall functionality I added in Anarki - the ability to specify in-Arc the semantics for function calls on arbitrary types. So for example:
(defcall cons (l i)
(if (is i 0) (car l)
((cdr l) (- i 1))))
It would also work for arbitrary user-defined (via annotate) types as well, of course.
