exception for `LTS` and `ReductionSystem` notations in `topNamespace` linter

[github-actions]

for LTS and ReductionSystem.

cslib/Cslib/Foundations/Lint/Basic.lean

Lines 31 to 32 in f39bbcf

	/- TODO: this is a temporary allowance for unscoped notations generated
	for `LTS` and `ReductionSystem`. -/

[chenson2018]

Depends on #120