add Main and cabalize
ahc.cabal: need Stream
undecidable instances
incoherent instances
use Monatron
unbreak check
factorize out nameStream