proofread simply-typed language