Fixed: when a captured proc whose return type doesn't matter, make the fun...

Fixed: when a captured proc whose return type doesn't matter, make the fun literal return void, not the inferred type