This gist will list all potentially useful type constraints/contracts. Please ignore the syntax used in this gist. The syntax is just to make the desciption convenient. If you have interests on my Go proposal, please read this gist instead.
This gist can also be viewed as a contract proposal, which propose some built-in contracts, upon which we can build more complex contracts.
There are about 20 built-in (basic) contracts.