make now compiles to bytecode
mention that sum/e and disj-sum/e are different and that dep/e
isn't what the implementation does, plus some space saving tweaks