fix inference in calls; add pretty Out instances