Prototype of doubly abstract algebra traits #1

Job	Run time
Code Coverage	1m 55s
clippy	30s
feature-checks	25s
docs	16s
fmt	17s
test stable --no-default-features	33s
test stable	33s
test stable --all-features	36s
test beta --no-default-features	37s
test beta	38s
test beta --all-features	37s
test nightly --no-default-features	39s
test nightly	40s
test nightly --all-features	39s
test 1.65 --no-default-features	1m 54s
test 1.65	2m 2s
	12m 51s

Provide feedback