Improve detailed design section and other minor things

[infinisil]

Main changes:

• CI should check that pkg-fun.nix's return derivations
• The standard must be followed for new packages, closes #24