Add some traits of S18 (fixed)

[StevenClontz]

Fixes #1151 by @Moniker1998

Closes #1151

[yhx-12243]

One things noticeable is that, we can check all the theorems and strengthen it to the version that could be pass Kolmogorov quotient, that will be good for spaces like S18 whose Kolmogorov quotient has more property can be deduced.

For example, clearly $T_1$ in T381 can be weaken to $R_0$ and thus we would know {S18|¬P158}, etc.

Maybe it can be proposed in a separated issue/PR. Maybe a huge work.

[pzjp]

Some traits are redundant, e.g. P1, P13, P28, P43, P46, P139