SPEC.md: describe function packages