Add pretty printer and equality of mono- and poly-types
Add pretty printer and equality of mono- and poly-types

xnning/fcore,hkuplg/fcore,xnning/fcore,hkuplg/fcore,wxzh/fcore,zhiyuanshi/fcore,wxzh/fcore,bixuanzju/fcore,zhiyuanshi/fcore,hkuplg/fcore,bixuanzju/fcore,xnning/fcore,bixuanzju/fcore,wxzh/fcore,zhiyuanshi/fcore