More tests, and more anti-lambda point-freeness!