Optional ergative marking and its implications for linguistic theory