Class AbstractType

src/main/java/wyil/lang/WyilFile.java:5086–5147

		}

		static abstract class AbstractType extends AbstractItem implements Type {
			AbstractType(int opcode) {
				super(opcode);
			}

			AbstractType(int opcode, Syntactic.Item operand) {
				super(opcode, operand);
			}

			AbstractType(int opcode, Syntactic.Item... operands) {
				super(opcode, operands);
			}

			AbstractType(int opcode, byte[] bytes) {
				super(opcode, bytes);
			}

			@Override
			public int shape() {
				return 1;
			}

			@Override
			public Type dimension(int nth) {
				if(nth != 0) {
					throw new IllegalArgumentException("invalid dimension");
				} else {
					return this;
				}
			}

			@Override
			public boolean isWriteable() {
				return true;
			}

			@Override
			public boolean isReadable() {
				return true;
			}


			@Override
			public <T extends Type> T as(Class<T> kind) {
				if (kind.isInstance(this)) {
					return (T) this;
				} else {
					return null;
				}
			}

			@Override
			public <T extends Type> List<T> filter(Class<T> kind) {
				if (kind.isInstance(this)) {
					ArrayList<T> results = new ArrayList<>();
					results.add((T) this);
					return results;
				} else {