The Epic Verse calculus: a core calculus for functional logic programming