Move "function call in lvalue" check from `typing.ml` to TAST check