chap6 translate seems complete
more than k formals implemented