Added other constructs in eval_with_k
Still some to do, not sure they work however, especially the apply case