Method shape

src/main/java/wyil/lang/WyilFile.java:6026–6031

()

			}

			@Override
			public int shape() {
				// NOTE: Don't believe we need to use the concrete type here as shape is not
				// affected by substitution.
				return getLink().getTarget().getType().shape();
			}

			@Override
			public Type dimension(int nth) {