Ainger-Simple Convernions for Acol