More changes to Jif internal type representations and support for field lookup.
More changes to Jif internal type representations and support for field lookup.

blue-systems-group/project.maybe.polyglot,liujed/polyglot-eclipse,xcv58/polyglot,xcv58/polyglot,liujed/polyglot-eclipse,xcv58/polyglot,blue-systems-group/project.maybe.polyglot,liujed/polyglot-eclipse,blue-systems-group/project.maybe.polyglot,blue-systems-group/project.maybe.polyglot,xcv58/polyglot,liujed/polyglot-eclipse