Updated List.agda and Natural.agda