updated type graph and rationalized it with structure.scm