ν-Types for Effects and Freshness Analysis