Generalise 'objc' to multiple free variables and specify return type
Fix ObjC code gen