Proof Relevant Corecursive Resolution