Added subtyping rule for arrays: A[] < B[] if A < B.
Added subtyping rule for arrays: A[] < B[] if A < B.

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