The taming of recurrences in computability logic through cirquent calculus, Part I