Tabs in prodeq, try to understand issue with LamT
Fix Lam_T
Try to debug new unfolding behavior
Up to where I'm lost, using latest polyproj
Fixes to work with latest trunk