ListAppend: type checking