Last fixes on experiment
Change leaf to nt (non terminal)
Add delete file and 1 feature
Remove isomorphic
Fixed alot of bugs
Fix bug on beta reduction
Fix breduct
QDatabase uses different hashlib
Fixed some things
Clean bugs
Clean bug