A lazy narrowing calculus for declarative constraint programming