18:21:43Bikeit's mostly stuff we could optimize in principle but only with actual inference
18:21:57kpoecksame time ago I tried to make clasp compiler compile (* a 2) like (+ a a). For sure i didn't do that in the right place. What would be the right place for such a transformation? Asking since you talk about tranforms
18:22:46Bikei've been trying to centralize compiler macros in cmp/opt-whatever
18:22:59Bikethough for * we have one in inline.lisp