Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures