A new generic scheme for functional logic programming with constraints