fixed cc typesystem tests