Changes:
  - rewrite of diff to delta;
  - added a bunch of comments to auto.agda;
Changes:
  - minor changes in layout and comments
Changes:
  - added comments to difference operator