Added AST::pos overloads