Remove debug parameter
Add hint removal
Add back in debug, fix a bug
Add some files for admitting definitions
Save intermediates