Project tactics

The project's own tactics, one module per tactic. CustomPrelude pulls this in with public meta import, so a meta import CustomPrelude reaches all of them.