remove the helper operations into their own module rather than having them live on TestMachine
Example of a custom defined data type: An allegedly balanced tree that turns out not to be