semantic: Implement .length for aa types.