petr-typecheck

petr-typecheck is used at run time in 6 crates. It is a direct run-time dependency in 4 crates.

Depender (with downloads and own rev deps)			petr-typecheck version
	2	petr-api		^0.1.0
		petr-cli		^0.1.0
	3	petr-ir		^0.1.0
	1	petr-vm	dev	^0.1.0