Deleted some old useless files (duplicates with '~' characters added onto the end. Also renamed Refl to Reflex