dynamic arrays: syntax + basic type checking