Add todo note about undecidability, language inclusion and actually informal use of the term subset