Finished variable notation for now

additionally I have replaced haskell syntax for python.
I'm not sure how this will look.