semantic: Type element and array concat.