Changes:
  - removed `Rules` in favour of `HintDB`
  - removed `hintdb` function in favour of `_<<_`
  - added \ex[ n ] syntax to Auto.agda