hw1 type system created