Rock Types and the Rock Cycle