Updating intro to type system in CLS