semantic: Fix cat-append also extypeBinOp
test: Improve Array test 13