variable rename
more memoization of input params
remove cache for spec-to-subset-of-lexicon: doesn't seem to be necessary.
remove unneeded lexemes-for-head param