geen dubbels meer in typechecking