Util.MapTree
modules
flip list
factorize out fromListUniqM
factorize out partitionDecls
refactorize parser
parse modules
move (freeVars boundVars (/.)) from TypChk to Data.Core
add Data.Scm
add Main and cabalize
ahc.cabal: need Stream
undecidable instances
incoherent instances
use Monatron
unbreak check
factorize out nameStream