Merge type lambdas and lambdas, and make type hole unresolved meta variable errors better