Simplification and improvements of various "implies".

- Some implies were used as array, with a single member, then are now
strings
- Add some missing implies