Added a different basis; it breaks things, obviously. As they say in the paper, it could be handled.
some very bad haskell. also breaks the python.