The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]