refactor handling of InvocationExpressions and add new utility method
for backend
Merge branch 'parallel-typechecking' of github.com:ceylon/ceylon-spec into parallel-typechecking