Engine: F*: fix #677 by always extracting implicit types #2176

Job	Run time
no-std-lib	28s
test-workspace (macos-latest)	1m 5s
test-workspace (ubuntu-latest)	1m 6s
test-workspace (windows-latest)	2m 31s
	5m 10s

Provide feedback