2:15:54Bikepaulapatience: if you go through cst-to-ast that should help with understanding environments
2:48:04Bikepaulapatience: type information is all in the global environment, so any type-expand methods should be able to skip local information. that's what the next does. for trucler there's a global-environment function to get you straight to the global environment, i think.