动词算子体系中的名词：User 及其语义约束

动词算子体系中，现有所有代码生成器里的唯一名词实现是用户（User）。User 是一个域对象，除域对象约束外还具有四个特定字段，其语义约定规定固定名字为“userN...”。