condense + added start on type system intro