nu-Types for Effects and Freshness Analysis