all typesystem tests succeed