TypeChecking en connectie program ship