sandbox: add an implementation of repeat
Add the Applicative type class.
Applicative: add Maybe and StdTuple instances
Move unit from Monad to Applicative and remove pure.