Give types to free vars in defs