- some mistakes fixed
- two list constructors fixed
#6