rename envelope Udef to envelope_amp

let's hope nobody used it yet in current WFSCollider..
use FreqSpec for default udef