Hello Bill,
Thank you for your reply. I have applied the changes that you specified and have cut a few more bytes by shortening the banner and removing a few functions: func_setBaud, since to change the rate will lose the RFCOMM connection on the Arduino BT - and func_random, since it was the first one that I saw 
Binary sketch size: 14320 bytes (of a 14336 byte maximum)
Bitlash now runs, but it's not very friendly. Still, it works.
Attached: unified diff of my not-very-subtle changes. (whoops.. a space crept into the USE_PARSEREDUCE #ifdef, which I uncommented and then commented again).
Lex
diffs.txt (2.72 KB)