Manuscript Explanation with Types & Preservation