use Sequence rather than CCSequence; use dev version of containers with containers.data
readme small changes
better printing of types (de Bruijn) in foterms
version 0.6.1.1