Refactoring CTFE interpreter code

Done.