[ base ] Add mapPropertyRelevant, tabulate and (++) for Vect's All

[0xd34df00d]

Description

Adding some more functions that are useful in practice and might be not exactly trivial to implement (like tabulate's erased xs but unerased n to allow for pattern-matching on the shape of xs).

Should this change go in the CHANGELOG?

• If this is a fix, user-facing change, a compiler change, or a new paper
  implementation, I have updated CHANGELOG.md (and potentially also
  CONTRIBUTORS.md).

[gallais]

Merging as is.
If there is motivation to actually push the other ones too then open another PR.