Method substitute

src/main/java/wyil/lang/WyilFile.java:5021–5021

Substitute for type parameters @param binding A function which returns @return

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

		 * @return
		 */
		public Type substitute(java.util.function.Function<Object, Syntactic.Item> binding);

		/**
		 * Expose the underlying type of this type. For example, consider this: