Using universal temporary 'lits' instead of local temp 'bin'
Check for 'remove' and clean up indentation
Better printing of results for implicit vivif
Fixing two bugs: identical Tri-s were NOT rmeoved + stamping was not used