帮助朱元璋统一天下，提出高筑墙缓称王的功臣，是一位易学大师