more work on type system chapter
fix section on variance checking
fix message
update section on type constraints