Idea for better type assertion

[nin-jin]

https://github.com/eigenmethod/mol/tree/master/type

	type should_be_same_but_without_head = Assert<
		Tail< [ 666 , 777 ] > ,
		[ 777 ]
	>

[KSXGitHub]

I don't really want to write type names (such as should_be_same_bu_without_head).

[nin-jin]

This is short human readable description of test case. More examples: https://github.com/eigenmethod/mol/blob/master/type/keys/extract/extract.test.ts