some fixes in terms of map

Mainly, make a intermediate function to get the keys we want. 
No, "blah" was an example. Like "foo." The solution is to leave the "blah" rules in the form:

```
rule blah(Loc:SymLoc) => #blah(Loc) ==K true
```

And then do all pattern matching in the rules for "#blah" -- then you don't even need to consider the 2-argument case (in these particular rules).