Fix: cabal: exposed-modules list

Also, some comment rephrasing
Doc: add summary of implementation strategy