Type-checker: Enabled special-casing of last argument checking in new_check_call(). Inverted meaning of flag CALL_LAST_ARG to CALL_NOT_LAST_ARG. Fixed some related bugs. Fixes some of [bug 6064 (#6064)].