Lab: type system finished. HW: hw 6&7 finished