Your example isn't complete. If you're determining whether "succinctness is power", you would need to compare Arc' to some Arc'-like language which is less suc

Your example isn't complete. If you're determining whether "succinctness is power", you would need to compare Arc' to some Arc'-like language which is less succinct but which has the parentheses requirement.