Fix up comment about in checkCallExpression

Untyped function calls already work the way we want to (per bug #236). We just have to update the spec. I've updated the comment in the code.