Add reg-inference handout