description of the type-guessing heuristic in readme
heuristic tweaks: detect upvalues, type them as vars