Elaboration in assignability errors for call expressions.

Fixes #93.