Can now deal with assignments involving lists and nested lists. The types contained in a list are tracked with a set.