Refactoring start and eval for literal type