Abstract CESK machine

- Enables 0CFA.
- Does not expose store hash-map for comparing the states.