first working release

all static checks. extra Docked state in Shipment contract because we wanted to have a reference to a Transport instance in different states.