I'd say "languages with Algol-inspired syntax" rather than "traditional imperative languages". There's some overlap between the two, of course, but there are declarative languages with more Algol-style syntax (e.g., Prolog) and imperative languages without it (e.g., Smalltalk).

Also, does the adding parentheses make it anything other than legal (if ugly) Haskell? It looks to me like just anti-idiomatic Haskell where all the functions are defined to take tuples instead of being in the more idiomatic curried form?

That's exactly what it is. It's all Haskell, just with tuples as arguments. If you want normal Haskell back, just do this:

    {-# LANGUAGE NoImplicitPrelude #-}
    import HaskellPrelude
    import CodeWorld  -- for pictures, colors, etc.

The stuff from CodeWorld is still uncurried, but the rest of the language is still there.