Overhaul, mimicking unbounds FreshM
No dammit, I'm not making another monad-gen
Added freshify to mangle a Name
Added new version of unwrap
Made the fresh counter strict