Fix mapping for adding initial clause

[vmarkushin]

No description provided.

[edwinb]

Sorry to be so slow at noticing this, I'm not keeping up with this repo. a is expected, though - b used to work for adding the body of an interface but that isn't yet implemented in Idris 2. Probably both should be the same key anyway.