small refactoring (swapped env and k order)
changed order of arguments in eval functions (env swapped with cont)