immutable list in AST model class