Add lots of tactics and type class derivation strategies

[WhatisRT]

TODO:

• Expose everything to Main, so that CI typechecks it and it gets rendered in HTML.
• (gradually in the future) Merge with the rest of the infrastructure.

[omelkonian]

So this code has not been typechecked yet, so you need to somehow include it in Main while at the same time keeping local class definitions, etc.. Something like the following perhaps?

module Main where

private module Stash where
  open import Interface.Monad
  ....

open import Generics public
....