§ WIP: Conservative extension to type theory

• Reference: https://proofassistants.stackexchange.com/questions/857/whats-conservativity-in-terms-of-type-theory-and-how-is-it-useful