Worked on world.clj

* worked on apply-rule! (cases of insertions)
* corrected the build world
  can use (a AND b)
* some small changes