code: public static Type[] typeReferenceElementConstructor(Type.Reference[] types) {
  		Type[] elements = new Type[types.length];
  		for (int i = 0; i != types.length; ++i) {
  			elements[i] = types[i].getElement();
  		}
  		return elements;
  	}
docs: Given an array of expected reference types, construct corresponding expected
  element types. For example, consider the following simple Whiley snippet:
  
  <pre>
  method f(int x):
  &int ptr = new(x)
  </pre>
  
  The expected type for the expression <code>new(x)</code> is
  <code>&int</code>. From this, we calculate the expected type for the
  expression <code>x</code> as <code>int</code>.
  
  @param field
  @param expected
  @return