Solutions for new EVAL, KMER, SPEC, LEXV; Refactoring