Change treatment of underscore in lambda
Treat as unnamed variables, rather than as patterns
Remove restriction on hole scoping