Add getters for some standard properties. #126

Job	Run time
Cargo check	17s
Code formatting checks	15s
Minimal dependency versions build	25s
Clippy lint checks	17s
Build with each feature combination	19s
Machete dependencies checks	1m 55s
Build & test (stable, windows-latest)	56s
Build & test (nightly, windows-latest)	48s
Build & test (nightly, ubuntu-latest)	20s
Build & test (stable, macos-latest)	26s
Build & test (stable, ubuntu-latest)	23s
Build & test (nightly, macos-latest)	41s
Build & test (1.88, macos-latest)	30s
Build & test (1.88, ubuntu-latest)	22s
Build & test (1.88, windows-latest)	59s
Miri test	57s
	9m 50s

Provide feedback