translate abstract and monomorph. 型の章まで翻訳。