Using Haskell lists instead of own type List_

- All interpretations done except Disintegrate
Merge conflicts fixed