kure-2.12.2: Combinators for Strategic Programming