simplified implementation of lazy CPS to fix the real evaluation problem; not type-checking yet