feat: infer self & Self HIR types #1890

Job	Run time
Check	2m 52s
Test mdbook	1m 20s
Doctest Rust (ubuntu-latest)	2m 25s
Test C++ Runtime (ubuntu-latest)	5m 0s
Doctest Rust (windows-latest)	7m 3s
Test C++ Runtime (windows-latest)	7m 30s
Check Style	2m 30s
Doctest Rust (macOS-latest)	1m 56s
Test C++ Runtime (macOS-latest)	3m 38s
Test Rust (ubuntu-latest)	5m 22s
Test Rust (windows-latest)	10m 1s
Test Rust (macOS-latest)	3m 13s
	52m 50s

Provide feedback