No need for List[] in return values: it is implicit
AST: av2arylen
Expose overloading flag on AST nodes
Introduce UndefConstant class
Handle empty list and list-to-scalar logic
AST: return