DESIGN: Updated flow chart

- All Package types work the same (have the same API).
- Still need to decide whether we dispatch by Typeclasses
  or by an ADT of functions.