More work on exercises/SECD/StackSafe.agda