1) Interesting! I assumed alias was an alias for <-. Clever, making it define a macro.
2) I liked being able to line up the infix <- for different-length variable names assigned in succession:
Optimize_cons <- nil
Optimize_append <- nil
For carif, I was using it more like an "anonymous" def where I didn't have to name the arguments. Perhaps this purpose could use its own top-level form?
By the way, I like the Global naming scheme, which I picked up from Coercions; it's a good, surprisingly readable alternative to mashing shift for GLOBAL names.
3) Ah, ern is what I was looking for! Should've looked instead of guessing names from Arc, haha.
4) A bit much for my tastes, but then so is infix. ;)
5) I noticed and tried to use it throughout. Still missed a few instances, I gather! :)
6) Yeah, I ran into that a bit. Might've missed some cases, though.