Fix memory leaks, remove unused code.
Make named functions sugar (reduces code).
Add possible bug note.
Add runtime type check for closure params.
Combine native and fun semantic processing.