I'll make this the last reply to my own message.
Here is a memoizing (with 'eager' semantic actions) implementation of Ridge's combinator parsers in 221 lines of Standard ML. Scheme wouldn't be much more,
Adding the binarizing grammar generator and an Earley oracle wouldn't add more than another 300 lines, perhaps.
https://code.google.com/p/metaprogramming/source/browse/Parser.sml