completing cabal file (cabal check)
reducing expressions to single term for now