constructors for Shift format AST nodes