Dev/v0.5.0 alpha type system #7

Job	Run time
Test (macos-latest, stable)	11s
Test (ubuntu-latest, beta)	13s
Benchmark	2s
Test (ubuntu-latest, stable)	11s
Security Audit	2m 37s
Test (windows-latest, stable)	8s
Check Examples	6s
Code Coverage	1m 25s
Minimum Supported Rust Version	15s
	5m 8s

Provide feedback