Work on semantics documentation: t+
Update todo.txt