为断言常量增加注释
README增加断言类型说明