base/src/main/java/org/arend/term/prettyprint/ToAbstractVisitor.java (2 lines):
	- line 1097: // TODO: Add interval clauses
	- line 1178: // TODO: Add other elements of the class


base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java (1 line):
	- line 1666: //TODO: I don't like this implementation for it works quadratically wrt to the total number of binary operations


cli/src/main/java/org/arend/frontend/repl/jline/Completers.java (1 line):
	- line 205: // TODO: use $LS_COLORS for output


base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubExprVisitor.java (1 line):
	- line 380: // maybe it's a TODO to implement it.