Log 062010

FFI works again, fac compiles again. Still weeding out small bugs, no deal breakers yet. More optimizations came up, for the future, memoization of DL separate from FFI calls, i.e. break it into two combinators and memoization of FFI.