> trying to suss out the types on a given code path.

Are there any tools for that? If not could one be made? Sounds almost like an advanced linter.