semantic: Use extyper pass to validate AAs and concat.