Method substitute

src/main/java/wyil/lang/WyilFile.java:5468–5479

(java.util.function.Function<Object, Syntactic.Item> binding)

			}

			@Override
			public Type.Array substitute(java.util.function.Function<Object, Syntactic.Item> binding) {
				Type before = getElement();
				Type after = before.substitute(binding);
				if (before == after) {
					return this;
				} else if (after == null) {
					return null;
				} else {
					return new Array(after);
				}
			}

			@Override
			public Type.Array clone(Syntactic.Item[] operands) {