Add type info in lambdas, and allow printing without uniques
Unroll default patterns to eliminate more known cases