Extension to Full AN­2


  To extend Kernel AN­2 to Full AN­2 we introduce values representing subsorts of Data, we introduce yielders, and we define many of the remaining AN­1 action primitives and combinators as straightforward abbreviations. This extension is divided as:
  1. Data.
  2. Flow of Data and Control.
  3. Scopes of Bindings.
  4. Actions of Data.
  5. Effects on Storage.
  6. Interactive Processes.