thesis: add TypeChef adaptation description