start on rewrite of CKY+ algorithm