Added "--hierarchy" flag to print type hierarchy, including types of instance variables, to standard output