Clean up tactics module
Add error logging to new-definition like functions