It would be cool to have some kind of output describing the type of each variable as inferred by the tool. Could be a listener plugin.