Using the todo macro to typecheck unwritten code that will be implemented in the future by Chris Biscardi