Write contracts in Collisiontypes, add checkers in Ship, PowerUp and World.