Änderungen

better type inference for closures
if all parameter types are the same for all overloads, type inference of 
closures will now infer the type and resolve overloading based on return 
type
closes #923
 (commit: d83177b)