Use correct elemSymbol methods for membership checking.
Fix categorizeEffects environment staleness issues while debugging.
Add let_downstream example to lambda.k3.