dict:new() /= []
no need to abstract Subsumed in subsumes
added seq_to_lists in match for inspecting #seqs