added provided types for hw2