动词算子体系中，何为名词？

动词算子体系中存在名词，名词是一个域对象但比普通域对象有更多语义约束。现有实现中唯一的名词是用户（User），它除了域对象约束外还有四个特定字段。