simplify lightning-bolt and add-complement
in (lightning-bolt), use get-lex to get cached lexical candidates for head
fix error in one test