Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate