Ideas for a programming language. Implemented in Haskell