A Rewrite System for Proof Constructivization (Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice)