Sketching first pass to infer _ENV type