Minor fixes in the parser and type analysis for append expressions

Minor fixes in the parser and type analysis for append expressions.