Copied module Sigma from hprop-erasibility repository.
Defined the free monad operation on containers.
Updated latex-base.