You might want to call Henry Baker at 818 501 4956 and ask him to send you a copy of his paper on the subject. When he sent me a copy he said it was going to appear in Lisp Pointers in the future. It's mostly about his implementation ideas, but it should give you some insight into the efficiency and expressiveness tradeoffs.