CS242 types project