Fast narrowing-driven partial evaluation for inductively sequential programs