In what type of sea did typical Proterozoic geology come to be?