Rethinking supercompilation