Added a better example as a comparison between pack and alias
Added first draft of simplified formalization of the link process