small simplification of recursive CYK+

(following Chris Dyer's suggestion and Phil's refactoring in S2T decoder)