improving lambda argument checking a bit, documenting remaining known flaws