Static Name Control for FreshML