updating TODO to mention refactoring out of argument/type checking and reporting