Fix other typos.
Add a simple start about constraint based typing