Move sequential benchmarks
Support subsumption in CESK machine