PLT Utilities: Added a static Option.unwrap method which supports a default value with a different type than that of the Option.
Authored by: dlsmith 2009-04-02
Parent: [r4866]
Child: [r4868]
