infer letfn and loop aswell
infer try, when catches have no tag, infer the tag of the body expr