Enhance inference in LieAlgebras, GSets, and MatrixGroups #16974

Job	Run time
doctest (1.10, ubuntu-latest)	33m 0s
test (1.6, short, ubuntu-latest)	1h 34m 28s
doctest (1.11-nightly, ubuntu-latest)	29m 57s
test (1.6, long, ubuntu-latest)	55m 31s
doctest (nightly, ubuntu-latest)	34m 59s
test (1.10, short, ubuntu-latest)	1h 9m 10s
doctest (1.10, ubuntu-latest, depwarn=error)	30m 52s
test (1.10, long, ubuntu-latest)	50m 13s
test (1.11-nightly, short, ubuntu-latest)	39m 45s
doctest (1.10, macOS, RPTU)	15m 47s
test (1.11-nightly, long, ubuntu-latest)	52m 19s
test (nightly, short, ubuntu-latest)	47m 12s
test (nightly, long, ubuntu-latest)	6m 33s
test (1.10, short, ubuntu-latest, depwarn=error)	1h 10m 7s
test (1.10, long, ubuntu-latest, depwarn=error)	43m 35s
test (1.10, short, macOS, RPTU)	14m 53s
test (1.10, long, macOS, RPTU)	14m 44s
test (1.10, book, ubuntu-latest)	53m 48s
test (nightly, book, ubuntu-latest)	2h 25m 44s
	15h 2m 37s

Provide feedback