[KEEP-412] Update KEEP according to the latest design

- Include information about overriding and actualization
- Mention boolean shortcuts
- Update list of external annotations
- Mention metadata flag as source of truth
- Add formal spec by Alejandro

Author: sandwwraith