Materialization tracking is a bit too critical for PALI correctness. We move it to its own file in order to facilitate shore-ing up the contract it upholds and subsequent refactoring.

This is purely code movement and name changes, with no functional changes.