Disallowing non-lambda in while's condition, while's body, and array's accessor