MakeRawVM returns a Jsonnet VM with some extensions of Tanka, including: - extended importer - extCode and tlaCode applied - native functions registered This is exposed because Go is used for advanced use cases, like finding transitive imports or linting.