semantic: Implement opAssign for AAs