New class position is made and worm position methods are implemented (in
the class worm and the class position. Added class invariants, added
more effect clauses.