fix(F*): always use `Type0`, never `Type` #2134

Job	Run time
no-std-lib	7m 19s
test-workspace (macos-latest)	1m 18s
test-workspace (ubuntu-latest)	1m 25s
test-workspace (windows-latest)	3m 2s
	13m 4s

Provide feedback