Fix problem with map matching 

This: 
```
<localMem> ... ((N \|-> _:Value) => (N \|-> I)) ...</localMem>
```
should be replaced with this:
```
 <localMem> ... N \|-> (_ => I) ...</localMem>
```

